A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling
نویسندگان
چکیده
New approaches are currently being adopted to address the development of cooperative systems, although not many standards exist that can be used to develop this type of interactive system. We apply the standard Unified Modelling Language (UML) notation within a methodology aimed at the analysis and design of such systems, and present a semantic formalisation of the UML notation used to model cooperative systems. The semantics and its application are described on the basis of translation schemes to Coloured Petri Nets and the benefits of formalisation are shown.
منابع مشابه
Availability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملExecutable Design Models for a Pervasive Healthcare Middleware System
UML is applied in the design of a pervasive healthcare middleware system for the hospitals in Aarhus County, Denmark. It works well for the modelling of static aspects of the system, but with respect to describing the behaviour, UML is not sufficient. This paper explains why and, as a remedy, suggests to supplement the UML models with behaviour descriptions in the modelling language Coloured Pe...
متن کاملUML Diagrams to Object Petri Net Models: An Approach for Modeling and Analysis
Abstract. UML, being the industry standard as a common OO modeling language needs a well-defined semantic base for its notation. Formalization of the graphical notation enables numerous automated processing and analysis tasks, such as behavioral simulation and consistency checks between levels of specifications. Object Oriented Petri nets (OOPN) can provide a formal semantic framework for the U...
متن کاملTranslating UML State Machines to Coloured Petri Nets Using Acceleo: A Report
UML state machines are widely used to specify dynamic systems behaviours. However its semantics is described informally, thus preventing the application of model checking techniques that could guarantee the system safety. In a former work, we proposed a formalisation of non-concurrent UML state machines using coloured Petri nets, so as to allow for formal verification. In this paper, we report ...
متن کاملColoured Petri Nets in UML-Based Software Development – Designing Middleware for Pervasive Healthcare
Nowadays, the Unified Modeling Language, UML, is almost universally accepted by the software industry as the modelling language. However, the language has severe shortcomings. While UML is well suited to model the static aspects of software systems, the language as it is currently standardised strongly needs improvements with respect to modelling behaviour. Thus, for development of software com...
متن کامل